MHD Stability Analysis with Higher Order Spline Functions.
نویسندگان
چکیده
منابع مشابه
Extension of Higher Order Derivatives of Lyapunov Functions in Stability Analysis of Nonlinear Systems
The Lyapunov stability method is the most popular and applicable stability analysis tool of nonlinear dynamic systems. However, there are some bottlenecks in the Lyapunov method, such as need for negative definiteness of the Lyapunov function derivative in the direction of the system’s solutions. In this paper, we develop a new theorem to dispense the need for negative definite-ness of Lyapunov...
متن کاملHigher Order Spt-functions
Andrews’ spt-function can be written as the difference between the second symmetrized crank and rank moment functions. Using the machinery of Bailey pairs a combinatorial interpretation is given for the difference between higher order symmetrized crank and rank moment functions. This implies an inequality between crank and rank moments that was only known previously for sufficiently large n and...
متن کاملSolving Higher Order Functions
In this paper we extend the class of energy functions for which the optimal α-expansion and αβswap moves can be computed in polynomial time. Specifically, we introduce a novel family of higher order clique potentials and show that the expansion and swap moves for any energy function composed of these potentials can be found by minimizing a submodular function. We also show that for a subset of ...
متن کاملTesting Higher Order Functions
Automatic testing of first order functions works fine. Testing higher order functions automatically is more troublesome, it is harder to generate the functions needed as argument automatically, and these generated functions cannot be shown when a counterexample is found. Nevertheless, higher order functions can contain errors and hence need to be tested. In this paper we present effective and e...
متن کاملReasoning with Higher Order Partial Functions
In this paper we introduce the logic P HOL, which embodies higher-order functions through a simply-typed-calculus and deals with partial objects by using partially ordered domains and three truth values. We deene a refutationally complete tableaux method for P HOL and we show how to derive a sound and complete cut free sequent calculus through a systematic analysis of the rules for tableaux con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Plasma and Fusion Research
سال: 1999
ISSN: 0918-7928
DOI: 10.1585/jspf.75.572